Diophantine Equations and Splicing: A New Demonstration of the Generative Capability of H Systems
نویسنده
چکیده
Systems based on the splicing operation are computationally complete. Usually demonstrations of this are based on simulations of type-0 grammars. We propose a diierent way to reach this result by solving Diophantine equations using extended H system with permitting context. Completeness then follows from Matiyasevich's theorem stating that the class of Diophantine sets is identical to the class of Turing semi-decidable sets. Solutions to a Diophantine equation are found in parallel. The numbers are coded in base one.
منابع مشابه
A Generalized Fibonacci Sequence and the Diophantine Equations $x^2pm kxy-y^2pm x=0$
In this paper some properties of a generalization of Fibonacci sequence are investigated. Then we solve the Diophantine equations $x^2pmkxy-y^2pm x=0$, where $k$ is positive integer, and describe the structure of solutions.
متن کاملDiophantine Equations Related with Linear Binary Recurrences
In this paper we find all solutions of four kinds of the Diophantine equations begin{equation*} ~x^{2}pm V_{t}xy-y^{2}pm x=0text{ and}~x^{2}pm V_{t}xy-y^{2}pm y=0, end{equation*}% for an odd number $t$, and, begin{equation*} ~x^{2}pm V_{t}xy+y^{2}-x=0text{ and}text{ }x^{2}pm V_{t}xy+y^{2}-y=0, end{equation*}% for an even number $t$, where $V_{n}$ is a generalized Lucas number. This pape...
متن کاملNew concepts on the fuzzy linear systems and an application
As we know, developing mathematical models and numerical procedures that would appropriately treat and solve systems of linear equations where some of the system's parameters are proposed as fuzzy numbers is very important in fuzzy set theory. For this reason, many researchers have used various numerical methods to solve fuzzy linear systems. In this paper, we define the concepts of midpoint a...
متن کاملA New Topology of Embedded Z-H Buck-Boost Converter
In this paper, a new embedded Z-H (EZ-H) buck-boost converter is proposed. In this topology, two identical dc voltage sources are embedded in a LC network in a series connection with the inductors. The proposed converter eliminates the shoot-through (ST) switching state and there is no need for a front-end diode. Other advantages of the proposed topology are having capability of buck and boost ...
متن کامل